Sobociński, Bolesław: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the single axioms of the protothetic. I.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1960

Language:

english

File:

PDF, 2.12 MB

english, 1960

2

A note concerning the axiom of choice.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1960

Language:

english

File:

PDF, 125 KB

english, 1960

3

Wstep do Teorii Analogii. (Introduction a Une Theorie de L'Analogie)

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1949

File:

PDF, 356 KB

1949

4

Concerning an Axiom System of the Implicational Propositional Calculusby Jan Łukasiewicz

Review by: Bolesław Sobociński

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 285 KB

english, 1955

5

On a Certain Condition for a Semantical Theory of Knowledgeby Maria Kokoszyńska

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 211 KB

english, 1950

6

A set-theoretical formula equivalent to the axiom of choice.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1962

Language:

english

File:

PDF, 238 KB

english, 1962

7

On the single axioms of protothetic. III.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1961

Language:

english

File:

PDF, 1.42 MB

english, 1961

8

Definicjaby Janina Kotarbińska;Logičéskoé Oprédélénié.by Janina Kotarbińska;On Definitionby Janina Kotarbinska

Review by: Boleslaw Sobocinski

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 201 KB

english, 1956

9

Über Mehrwertige Aussagenkalküle und Mehrwertige Engere Prädikatenkalküle.by J. Ridder

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1949

File:

PDF, 207 KB

1949

10

Theorie de la Conversion des Propositions Assertoriques chez Aristote a la Lumiere de la Theorie de la Deduction

Review by: Bolesław Sobociński

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 203 KB

1938

11

Note on a Problem of Paul Bernays

Bolesław Sobociński

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 385 KB

english, 1955

12

Report on the First Conference of Logicians (Warsaw, December 1952)by Henryk Stonert

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 201 KB

english, 1956

13

Classification of Reasoningsby Kazimierz Ajdukiewicz

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 305 KB

english, 1956

14

On the Unverifiable Assumptions of Scienceby Henryk Mehlberg

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 253 KB

english, 1950

15

Über Mehrwertige Aussagenkalküle und Mehrwertige Engere Prädikatenkalküle. II-III.by J. Ridder

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 323 KB

english, 1950

16

Epistemology and Semioticby Kazimierz Ajdukiewicz

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 350 KB

english, 1950

17

Certain extensions of modal system $S4$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1970

Language:

english

File:

PDF, 1.85 MB

english, 1970

18

Many-Valued Logicsby J. B. Rosser; A. R. Turquette

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 761 KB

english, 1955

19

Modal system ${\rm S}4.4$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 728 KB

english, 1964

20

An equational axiomatization of associative Newman algebras.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1972

Language:

english

File:

PDF, 379 KB

english, 1972

21

A note on the generalized continuum hypothesis. III.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1963

Language:

english

File:

PDF, 588 KB

english, 1963

22

A note on Prior's systems in ``The theory of deduction''.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 216 KB

english, 1964

23

A theorem concerning a restricted rule of substitution in the field of propositional calculi. I.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1974

Language:

english

File:

PDF, 1.19 MB

english, 1974

24

Certain formulas equivalent to the axiom of choice.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1961

Language:

english

File:

PDF, 585 KB

english, 1961

25

A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1974

Language:

english

File:

PDF, 927 KB

english, 1974

26

Note on Zeman's modal system $S4.04$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1970

Language:

english

File:

PDF, 203 KB

english, 1970

27

An abbreviation of Croisot's axiom-system for distributive lattices with $I$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1972

Language:

english

File:

PDF, 241 KB

english, 1972

28

A short equational axiomatization of orthomodular lattices.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1976

Language:

english

File:

PDF, 310 KB

english, 1976

29

A note on modal systems.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1963

Language:

english

File:

PDF, 213 KB

english, 1963

30

A new axiomatization of modal system ${\rm K}1.2$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1973

Language:

english

File:

PDF, 168 KB

english, 1973

31

Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1973

Language:

english

File:

PDF, 563 KB

english, 1973

32

A proper subsystem of ${\rm S}4.{\rm O}4.$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1971

Language:

english

File:

PDF, 298 KB

english, 1971

33

A note on the generalized continuum hypothesis. I.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1962

Language:

english

File:

PDF, 401 KB

english, 1962

34

Remarks about axiomatizations of certain modal systems.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 834 KB

english, 1964

35

Concerning the quantifier algebras in the sense of Pinter.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1973

Language:

english

File:

PDF, 593 KB

english, 1973

36

Equational two axiom bases for Boolean algebras and some other lattice theories.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1979

Language:

english

File:

PDF, 918 KB

english, 1979

37

A new postulate-system for modular lattices.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1975

Language:

english

File:

PDF, 378 KB

english, 1975

38

On the propositional system $A$ of Vučković and its extension. I.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 1.18 MB

english, 1964

39

The axioms for latticoids and their associative extensions.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1976

Language:

english

File:

PDF, 489 KB

english, 1976

40

On the propositional system $A$ of Vučković and its extension. II.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 1.47 MB

english, 1964

41

A new formalization of Newman algebra.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1972

Language:

english

File:

PDF, 787 KB

english, 1972

42

A theorem of Sierpiński on triads and the axiom of choice.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1964

Language:

english

File:

PDF, 632 KB

english, 1964

43

An axiom-system for $\{K;\,N\}$-propositional calculus related to Simons' axiomatization of ${\rm S}3$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1962

Language:

english

File:

PDF, 307 KB

english, 1962

44

A semi-lattice theoretical characterization of associative Newman algebras.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1972

File:

PDF, 271 KB

1972

45

Concerning some extensions of ${\rm S}4$.

Sobociński, Bolesław

Journal:

Notre Dame Journal of Formal Logic

Year:

1971

File:

PDF, 744 KB

1971